#include "kernel/types.h"
#include "user/user.h"

int main(int argc, char *argv[]) {
    if (argc <= 1) {
        fprintf(2, "usage: sleep second [micro seconds]\n");
        exit(0);
    }
    fprintf(2, "before sleep\n");
    int sec = atoi(argv[1]);
    sleep(sec);
    fprintf(2, "after sleep\n");
    exit(0);
}

